#include "include/kconst.h"
#include "include/type.h"
#include "include/syscall.h"
#include "include/misc.h"
#include "include/global.h"
#include "include/printf.h"
#include "include/klib.h"
void task_sys()
{
    MESSAGE msg;
    while (1)
    {
        send_recv(RECEIVE, ANY, &msg);
        
        int src = msg.source;
        switch (msg.type)
        {
        case GET_TICKS:
            msg.RETVAL = ticks;
            send_recv(SEND, src, &msg);
            break;
        
        default:
            panic("Unknown msg type, %x", msg.type);
            break;
        }
    }
}